TAFFO: The compiler-based precision tuner

نویسندگان

چکیده

Abstract We present taffo, a framework that automatically performs precision tuning to exploit the performance/accuracy trade-off. In order avoid expensive dynamic analyses, taffo leverages programmer annotations which encapsulate domain knowledge about conditions under software being optimized will run. As result, is easy use and provides state-of-the-art optimization efficacy in variety of hardware configurations application domains. provide guidelines for effective exploitation by showing typical example usage on simple application, achieving speedup up 60% at price an absolute error 3.53×10?5. modular based solid llvm technology, allows extensibility improved analysis techniques, comprehensive support most common precision-reduced data types programming languages. technology has been selected as tool European Training Network Approximate Computing.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Neuro-fuzzy Based Control Loop Tuner

An alternative approach for intelligent tuning of a control loop will be presented in this paper. The objective is to design an algorithm which will tune the controller employing a neuro-fuzzy based algorithm. Structure and design method based on this approach will be explored, which include an adaptive network employed as building block, the backpropagation gradient method and least square est...

متن کامل

Precision in Practice: A Type-Preserving Java Compiler

Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, supporting a wide range of source language features is awkward. Further compilation and optimization, necessary for efficiency, must be trusted. We describe the design and implementation of a fully type-preserving compiler f...

متن کامل

Precision in Practice: A Type-Preserving JavaTM Compiler∗

Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, supporting a wide range of source language features is awkward. Further compilation and optimization, necessary for e?ciency, must be trusted. We describe the design and implementation of a fully type-preserving compiler for...

متن کامل

RF-MEMS based Tuner for microwave and millimeterwave applications

This chapter sets out the basics and applications of impedance tuner for microwave and millimeterwave applications. Engineering examples, based on innovative and up-to-date Radio-Frequency MicroElectroMechanical Systems (RF-MEMS) technologies, are used to illustrate theoretical and practical principles. An explicit, comprehensive and efficient design methodology of impedance tuners is furthermo...

متن کامل

A Digital Guitar Tuner

The objective of this paper is to understand the critical parameters that need to be addressed while designing a guitar tuner. The focus of the design lies in developing a suitable algorithm to accurately detect the fundamental frequency of a plucked guitar string from its frequency spectrum. A user-friendly graphical interface is developed using Matlab to allow any user to easily tune his guit...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: SoftwareX

سال: 2022

ISSN: ['2352-7110']

DOI: https://doi.org/10.1016/j.softx.2022.101238